例句與造句

1. For efficient reasons , the lemmas are represented in propositional formulas and a sat solver is used to perform the necessary reasoning
   提出了一個(gè)新的直接搜索算法，它使用了在sat問題中行之有效的沖突分析和學(xué)習(xí)機(jī)制。
2. Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
   摘要在文[ 1 ]和文[ 2 ]的基礎(chǔ)上，給出了命題邏輯中任一命題公式的主析取范式和主合取范式的自動(dòng)生成算法，并實(shí)現(xiàn)了多個(gè)命題公式主范式的同時(shí)形式化輸出。
3. Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable
   給出了命題邏輯中任一命題公式的真值表的生成算法與命題公式類型的判定算法，實(shí)現(xiàn)了利用計(jì)算機(jī)對有限多個(gè)命題公式的真值表的直接計(jì)算和輸出，以及對一個(gè)命題公式是重言式、矛盾式或可滿足式的機(jī)械判定。
4. It's difficult to find propositional formula in a sentence. 用propositional formula造句挺難的